w{-}isnull($w$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl($a$)